bitkeeper revision 1.7.3.45 (3e098772qQl7V_IMM-bJ8HyZHkxFHQ)

debug

diff --git a/xen-2.4.16/common/memory.c b/xen-2.4.16/common/memory.c
index 4de8d138db9f76338d2532b08e57bf0b4f324ffb..cac09b23d684b776dc992dbb01fc19f7ece336da 100644 (file)
--- a/xen-2.4.16/common/memory.c
+++ b/xen-2.4.16/common/memory.c
@@ -1,5 +1,4 @@
 
-
 /******************************************************************************
  * memory.c
  * 
@@ -450,6 +449,9 @@ static void put_page(unsigned long page_nr, int writeable)
              (page_type_count(page) == 0)));
     }
 
+       if(!((!writeable) || (page_type_count(page) != 0)))
+               printk("bd240 debug: put_page failed ASSERT: page num %lx\n", page_nr);
+
     ASSERT((!writeable) || (page_type_count(page) != 0));
     if ( writeable && (put_page_type(page) == 0) )
         page->flags &= ~PG_type_mask;